Using Binary Variables to Represent Logical Conditions in Optimization Hbs Case Analysis